设为首页收藏本站
开启辅助访问 切换到窄版

 找回密码
 To register

QQ登录

只需一步，快速开始

扫一扫，访问微社区

  • ALL
  • Journals
  • Books

派博传思国际中心 »期刊书目

› BOOKS
› BOOKS with Alphabet C (Ca, Cb,Cc, Cd, Ce…... )

123456下一页
返回列表

Titlebook: Challenges of Software Verification; Vincenzo Arceri,Agostino Cortesi,Martina Olliaro Book 2023 The Editor(s) (if applicable) and The Auth

[复制链接]
查看: 53310|回复: 52
发表于 2025-3-21 17:30:14 | 显示全部楼层 |阅读模式
书目名称Challenges of Software Verification
编辑Vincenzo Arceri,Agostino Cortesi,Martina Olliaro
视频video
概述Provides an overview about the open challenges in software verification.Collects contributions ranging from theoretical to practical arguments.Serves as a reference resource for researchers and practi
丛书名称Intelligent Systems Reference Library
图书封面Titlebook: Challenges of Software Verification; Vincenzo Arceri,Agostino Cortesi,Martina Olliaro Book 2023 The Editor(s) (if applicable) and The Auth
描述.This book provides an overview about the open challenges in software verification. Software verification is a branch of software engineering aiming at guaranteeing that software applications satisfy some requirements of interest. Over the years, the software verification community has proposed and considered several techniques: abstract interpretation, data-flow analysis, type systems, model checking are just a few examples. The theoretical advances have been always motivated by practical challenges that have led to an equal evolution of both these sides of software verification. Indeed, several verification tools have been proposed by the research community and any software application, in order to guarantee that certain software requirements are met, needs to integrate a verification phase in its life cycle, independently of the context of application or software size. This book is aimed at collecting contributions discussing recent advances in facing open challenges in software verification, relying on a broad spectrum of verification techniques. This book collects contributions ranging from theoretical to practical arguments, and it is aimed at both researchers in software ver
出版日期Book 2023
关键词Static Program Analysis; Abstract Interpretation; Software Verification; Modular Static Analysis; Formal
版次1
doihttps://doi.org/10.1007/978-981-19-9601-6
isbn_softcover978-981-19-9603-0
isbn_ebook978-981-19-9601-6Series ISSN 1868-4394 Series E-ISSN 1868-4408
issn_series 1868-4394
copyrightThe Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Singapor
The information of publication is updating

书目名称Challenges of Software Verification影响因子(影响力)




书目名称Challenges of Software Verification影响因子(影响力)学科排名




书目名称Challenges of Software Verification网络公开度




书目名称Challenges of Software Verification网络公开度学科排名




书目名称Challenges of Software Verification被引频次




书目名称Challenges of Software Verification被引频次学科排名




书目名称Challenges of Software Verification年度引用




书目名称Challenges of Software Verification年度引用学科排名




书目名称Challenges of Software Verification读者反馈




书目名称Challenges of Software Verification读者反馈学科排名




单选投票, 共有 1 人参与投票
1.jpg
 

0票 0.00%

Perfect with Aesthetics
2.jpg
 

0票 0.00%

Better Implies Difficulty
3.jpg
 

0票 0.00%

Good and Satisfactory
4.jpg
 

1票 100.00%

Adverse Performance
5.jpg
 

0票 0.00%

Disdainful Garbage
您所在的用户组没有投票权限
Wilder
回复

举报

发表于 2025-3-21 21:10:03 | 显示全部楼层
,“Fixing” the Specification of Widenings,gine and its main parameter, the abstract domain: a safe integration requires that the engine uses each domain operator according to its specification. Widening operators are special, among other reasons, in that they lack a single, universally adopted specification. In this paper, we review the spe
AGGER
回复

举报

发表于 2025-3-22 01:51:16 | 显示全部楼层
Static Analysis for Data Scientists,ther, triage, and process data, in order to ultimately help us make data-driven decisions. As we rely more and more on such data-manipulating software, we become increasingly vulnerable to poor choices, wrong assumptions, or other (programming or technical) mistakes made during software development.
Indurate
回复

举报

发表于 2025-3-22 05:26:43 | 显示全部楼层
否认
回复

举报

发表于 2025-3-22 12:19:22 | 显示全部楼层
Lifting String Analysis Domains,cter position and the length of the strings). In this paper, we present a general framework providing a systematic lifting of string domains through a segmentation abstraction, yielding to a more accurate representation of strings without major impact on efficiency of the analysis. The proposed oper
肥料
回复

举报

发表于 2025-3-22 15:03:25 | 显示全部楼层
,Local Completeness in Abstract Interpretation,se alarm when used for verifying program correctness. Completeness for all possible programs and inputs is a very rare condition, met only by straightforward abstractions. In this paper we make a journey in the different forms of completeness in abstract interpretation that emerged in recent years.
hankering
回复

举报

发表于 2025-3-22 20:39:03 | 显示全部楼层
,The Top-Down Solver—An Exercise in ,I, how Patrick Cousot’s idea of applying analysis to the analyzer itself allows to derive advanced versions of . from a recursive descent fixpoint algorithm. A run of that fixpoint algorithm provides us with a trace whose dynamic analysis allows not only to identify semantic dependencies between unkno
hankering
回复

举报

发表于 2025-3-23 01:17:14 | 显示全部楼层
博识
回复

举报

发表于 2025-3-23 04:13:49 | 显示全部楼层
Floating-Point Round-off Error Analysis of Safety-Critical Avionics Software,one ideally obtained using exact real-number arithmetic. These rounding errors are particularly problematic in the context of safety-critical systems such as aerospace applications. In fact, in this context, even a small rounding error can lead to catastrophic consequences when not appropriately acc
Indolent
回复

举报

发表于 2025-3-23 09:19:11 | 显示全部楼层
,Risk Estimation in IoT Systems,ated and transmitted securely to computational components. This has significant effects on the software that manages critical decisions and actuations of IoT systems, with possibly serious consequences when linked to essential services. The development of IoT applications requires suitable technique
运动吧
回复

举报

下一页 »
123456下一页
返回列表
 关于派博传思  派博传思旗下网站  友情链接
派博传思介绍 公司地理位置 论文服务流程 影响因子官网 SITEMAP 大讲堂 北京大学 Oxford Uni. Harvard Uni.
发展历史沿革 期刊点评 投稿经验总结 SCIENCEGARD IMPACTFACTOR 派博系数 清华大学 Yale Uni. Stanford Uni.
|Archiver|手机版|小黑屋| 派博传思国际 ( 京公网安备110108008328) GMT+8, 2025-5-12 02:26
Copyright © 2001-2015 派博传思   京公网安备110108008328 版权所有 All rights reserved
快速回复 返回顶部 返回列表